La plate-forme MOCA : Réification de la notion d'organisation au-dessus de MadKit (démonstration)

1. Introduction La littérature propose maintenant plusieurs modèles de description de SMA en termes organisationnels [Dur96, FG98, HBS99, Hil00, Dur00] ; les notions de rôles et d'organisation y prennent des significations précises, doublées de langages de spécification adéquats. Il faut distinguer deux niveaux de description, celui du système multi-agent où un certain nombre d'agents interagissent formant des groupes ou coalitions et celui du système organisationnel où on identifie des comportements récurrents qu'ils soient individuels (rôles) ou collectifs (organisations). A ces deux niveaux correspondent deux types de systèmes : (1) le modèle agent-groupe-rôle [FG98] se situe au niveau du système multi-agent et permet de décrire la dynamique des agents relativement aux groupes, c'est-à-dire la possibilité d'en créer, d'y entrer et d'en sortir. La notion de rôle est essentiellement une façon de structurer les groupes mais n'a pas de lien direct avec la notion de rôle comme comportement individuel récurrent au sein d'une organisation (notion qui se situe à un autre niveau d'abstraction) ; (2) les modèles organisationnels « purs » comme dans [Dur96] ou [Hil00] dans lesquels on se donne la possibilité de décrire les rôles, les relations entre rôles et les organisations indépendamment des agents qui vont instancier ces organisations et ces rôles. La limite du premier type de systèmes est de ne pouvoir factoriser des comportements récurrents. Par exemple, dans MadKit [FG98] si les agents mettent en place plusieurs réseaux contractuels, il faudra créer autant de groupes dont la logique